汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

数学教育视野下《九章算术》与《几何原本》的比较研究

<九章算术>与<几何原本>是数学史上东西辉映的两大巨著,是现代数学思想的两大源泉.两书同是古代数学名著,却有着截然不同的风格.将从数学教育的角度,解读一下两书在成书背景、结构和内容等方面的不同,并从比较研究中得到一些对当代数学教育改革的启示.     

对依法治校与现代大学制度的一种理论追寻

我国现代大学制度的内涵首先表现在应秉承学术自由、大学自治、以人为本和彰显民族特色的价值理念,要使得这些理念得以制度化就必须实施依法治校的方略;依法治校的实质内涵与灵魂是奉行法的统治,坚持一种制度化、规范化与程序化的大学治理方式;依法治校与现代大学制度之间存在着必然的逻辑贯通.     

复杂系统的逻辑结构判据问题

系统阐述了LAPP方法以及2004年以来的主要发展,并指出一些新的针对复杂系统的逻辑结构判据算法及相关问题的研究方向.     

古希腊千古迷案“半费之讼”的法律探讨

古希腊著名的思想家和哲学家普罗泰哥拉向学生欧提勒士传授辩论技巧,教他替人打官司并约定,剩下的另一半学费则在他毕业后第一次替人打官司赢了之后再交.欧提勒士毕业后,总不去代理别人打官司,普罗泰戈拉只好到法院起诉学生欧提勒士.师生两人均运用诡辩技巧各执一词,据说成千古“迷案”.其实,无论是根据当时的古希腊自然法,还是根据古罗马的诚实信用原则或附生效条件契约,均可裁决学生支付另外一半学费.逻辑推理在法律思维中有局限性,更不可被诡辩误导.在实践中要善于破解诡辩.     

4个加数的并行加法器及扩展接口的研究

算术逻辑运算单元(ALU)决定着中央处理器(CPU)的性能,而加法器又决定着ALU的性能.为了提高CPU的性能,文章提出了一种4个加数的并行加法器及其接口扩展的研究方案,论述了所提新型加法器的工作原理和过程,同时描述了接口扩充思想;最后,采用MAX+PLUSⅡ对设计电路进行了模拟验证,实验结果说明了所提加法器的设计合理性.     

逻辑代数在PLC控制系统中的应用

介绍了1种用双PLC备份实现某化工厂工艺电器控制系统硬件电路设计方法．根据继电器常用的工作方式，探讨了继电器的逻辑关系表达式，将逻辑代数这一数学工具引用到继电器控制和PLC梯形图设计中能够快捷、准确地实现控制系统原理图．对于复杂的二次原理图还可以采用分块设计然后再组合，大大地提高了工作效率，实践证明，该方法简单、快捷，并且具有灵活性．     

谈数学模型及数学建模的逻辑变量方法

数学模型是人类认识和改造世界的有效工具．本文从数学模型和数学建模的概念出发,分析了数学建模的不同情况,通过实例,论证了逻辑变量在数学建模中的作用,从一个侧面阐述了数学建模的方法．     

并联式液压混合动力车辆能量控制策略

阐述了并联式液压混合动力车辆的结构原理,论述了液压再生系统的选型.为使并联式液压混合动力系统各部件之间协调工作以提高整车性能,针对液压混合动力系统各部件的工作特点,以发动机效率曲线和液压泵/马达效率曲线为主要依据,设计了基于逻辑门限的能量控制策略,实时地控制混合动力系统的能量分配,实现混合动力系统的不同工作模式及模式间的动态切换.分析了功率门限值、充压功率等参数对能量控制策略的影响,以系统节能效果最佳为原则优化出最佳参数的设定值.仿真研究表明,基于逻辑门限的能量控制策略能够实现各种工作模式间的合理切换,在满足车辆动力性能指标的前提下,有效地提高车辆的燃油经济性.     

短时交通流量智能组合预测模型及应用

提出了一种新的短时交通流量智能组合预测模型.该智能组合模型包含三个子模型:卡尔曼滤波模型、人工神经网络模型和模糊综合模型.卡尔曼滤波模型利用卡尔曼滤波方法良好的静态线性稳定特性,采用线性迭代方式对交通流量进行最优估计.人工神经网络模型利用其强大的动态非线性映射能力,对动态交通流量的预测具有较高的精度和满意度.模糊综合模型采用模糊方法来综合这两个单项模型的输出,并把它的输出作为整个组合模型的最终交通流量预测值.实际应用表明:该组合模型的预测精度高于单项预测模型各自单独使用时的精度,发挥了两种模型各自的优势,是短时交通流预测的一种有效方法.